On an Optimization Technique Using Binary Decision Diagram

On an optimization technique using Binary Decision Diagram

Two-level logic minimization is a central problem in logic synthesis, and has applications in reliability analysis and automated reasoning. This paper represents a method of minimizing Boolean sum of products function with binary decision diagram and with disjoint sum of product minimization. Due to the symbolic representation of cubes for large problem instances, the method is orders of magnit...

Decision Diagram Optimization Using Copy Properties

In this paper, we propose an approach to the reduction of sizes of Multi-Terminal Binary Decision Diagrams (MTBDDs) [3] by using the copy properties of discrete functions. The underlying principles come from copy theory of discrete signals considered in [5, 6, 7]. We propose two modifications of MTBDDs, called Copy DDs (CDDs) and Half Copy DDs (HCDDs), using the corresponding copy operations fr...

Efficient Parallel Binary Decision Diagram Construction Using Cilk

Binary Decision Diagrams are theoretical data structures used for formal verification of protocols and digital circuits. Previously, parallel computing algorithms designed to create these structures have experienced limited success due to their inability to exploit the inherent parallelism in the binary decision diagram creation problem. The CilkBDD algorithm uses Cilk, a C-based multithreaded ...

WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms

An ordering heuristic to develop the binary decision diagram based on structural importance

Fault tree analysis is often used to assess risks within industrial systems. The technique is commonly used although there are associated limitations in terms of accuracy and efficiency when dealing with large fault tree structures. The most recent approach to aid the analysis of the fault tree diagram is the Binary Decision Diagram (BDD) methodology. To utilise the technique the fault tree str...